How to Install hol88-doc software package in Ubuntu 14.04 LTS (Trusty Tahr)

How to Install hol88-doc software package in Ubuntu 14.04 LTS (Trusty Tahr)

hol88-doc software package provides Documentation for hol88, you can install in your Ubuntu 14.04 LTS (Trusty Tahr) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install hol88-doc 

hol88-doc is installed in your system.

Make ensure the hol88-doc package were installed using the commands given below,

$ sudo dpkg-query -l | grep hol88-doc *

You will get with hol88-doc package name, version, architecture and description in a table

hol88-doc package basic information:

Distro Ubuntu 14 04 lts trusty tahr
Section Mathematics
Package hol88-doc
Version 2.02.19940316-19
Description Documentation for hol88
Sub Section math


See Also, How to uninstall or remove hol88-doc software package from Ubuntu 14.04 LTS (Trusty Tahr)?